create procedure verifica_aluno(@cod_dados int, @resultado int output)
as
select @resultado = aluno.cod_aluno
from aluno
where aluno.cod_dados = @cod_dados
go